 |
Your search returned 6 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1998 Volume number : 24 Issue: 09 |
Ac++Data Model Supporting Reachabillity Analysis And Dead Code Detection
(Article)
Subject:
C++ Concept
,
Dead Code Detection
,
Software Repository
Author:
Yih-Farn
Chen
Emden R.
Gansner
Eleftherios
Koutsofios
page:
682
-
694
Integration Of Sequential Scenarios
(Article)
Subject:
Scenario
,
User-System Interaction
,
State-Based Approach
Author:
Jules
Desharnis
Ridha
Khedri
Ali
Mili
page:
695
-
708
Subtypes For Specifications Predicate Subtyping In Pvs
(Article)
Subject:
Formal Method
Author:
John
Rushby
Sam
Owre
Natarajan
Shankar
page:
709
-
720
An Extensoble System For Source Code Analysis
(Article)
Subject:
Reverse Engineering
,
Code Analysis
,
Software Matrics
Author:
Aniello
Cimitile
Gerardo
Canfora
page:
721
-
740
Verifying Authentication Protocols In Csp
(Article)
Subject:
Authentication
,
Security Protocols
,
Csp
Author:
Steve
Schneider
page:
741
-
758
Engineering Software Design Processes To Guide Process Execution
(Article)
Subject:
Software Design Project
,
Design Method
,
Design Methodology
Author:
Xiping
Song
Leon J.
Osterweil
page:
759
-
775
|
|
| | |
